Nuprl Lemma : neg_assert_of_eq_atom 13,42

xy:Atom. ((x =a y))  x  y  Atom  
latex


Upbool 1, bool 1
Definitionsa  b  T , , t  T, P  Q, P  Q, P & Q, P  Q, x:AB(x)
Lemmasnequal wf, eq atom wf, assert wf, not wf

origin